Microsoft Research

Results: 27951



#Item
311

Full version of an extended abstract published in ACM CCSTransparency Overlays and Applications Melissa Chase Microsoft Research Redmond

Add to Reading List

Source URL: eprint.iacr.org

- Date: 2016-09-21 13:58:17
    312

    Noise Reduction in Complex Biological Switches Luca Cardelli1,2,¶ ,*, Attila Csikász-Nagy3,4,¶, Neil Dalchau1,¶, Mirco Tribastone5,¶, Max Tschaikowski5,¶ 1 Microsoft Research Cambridge, United Kingdom; 2 Universit

    Add to Reading List

    Source URL: dl.dropboxusercontent.com

      313

      Type Systems Luca Cardelli Microsoft Research 1 Introduction The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program. This informal statement motivates th

      Add to Reading List

      Source URL: lucacardelli.name

      - Date: 2007-10-27 12:43:06
        314

        Prior-independent Multi-Parameter Mechanism Design Nikhil Devanur1 , Jason Hartline2 ? , Anna Karlin3 , and Thach Nguyen3 1 , Microsoft Research

        Add to Reading List

        Source URL: users.eecs.northwestern.edu

        - Date: 2011-09-30 18:31:24
          315

          Microsoft Word - NIPTE-RFPdocx

          Add to Reading List

          Source URL: www.research.umn.edu

          - Date: 2015-10-06 11:33:37
            316

            Interactive Image-Based Exploded View Diagrams Wilmot Li University of Washington Maneesh Agrawala Microsoft Research

            Add to Reading List

            Source URL: grail.cs.washington.edu

            - Date: 2004-03-15 18:06:26
              317

              TLA+2 A Preliminary Guide Leslie Lamport 15 January 2014 Contents

              Add to Reading List

              Source URL: research.microsoft.com

              - Date: 2014-01-15 14:29:12
                318

                Working Paper: Modeling Gender Discrimination by Audiences of Online News J. Nathan Matias Microsoft Research ABSTRACT

                Add to Reading List

                Source URL: cj2015.brown.columbia.edu

                - Date: 2015-10-02 11:48:08
                  319

                  Iterative Methods in Combinatorial Optimization Lap Chi Lau The Chinese University of Hong Kong R. Ravi

                  Add to Reading List

                  Source URL: research.microsoft.com

                  - Date: 2011-05-12 13:23:59
                    320

                    Appears in the Proceedings of the IEEE International Conference on Data Engineering, San Diego, CA, MarchGeneralized Isolation Level Definitions Atul Adya Microsoft Research, 1 Microsoft Way,

                    Add to Reading List

                    Source URL: pmg.csail.mit.edu

                    - Date: 2004-03-03 19:06:55
                      UPDATE